Formal Validation for Software Modeling
نویسندگان
چکیده
Currently,modeling for software is mostly semiformal, such as UML(Unified Modeling Language).The main problem is difficult to analyze semantics and verify correctness for a vital system.CPN(Colored Petri Net)as modeling and verification method provides formal semantics and a number of analysis techniques and tools.This paper presents an approach of formal modeling and validation for software process, which transforms UML models based on RUP(Rational Unified Process) to CPN,and uses CPN tools to investigate the behaviour of modelled system.
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملVIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models (Tool demonstration)
The VIATRA (VIsual Automated model TRAnsformations) framework is a transformation-based verification and validation environment for improving the quality of systems designed within the Unified Modeling Language by automatically checking consistency, completeness, and dependability requirements. In the current paper, we present an overview of (i) the major design goals and decisions, (ii) the un...
متن کاملAction Semantics for Model Transformation Systems
Recently, the main trends in software engineering have been dominated by the Model Driven Architecture (MDA) [1] vision of the Object Management Group (OMG). According to MDA, software development will be driven by a thorough modeling phase where (i) first a platform independent model (PIM) of the business logic is constructed from which (ii) platform specific models (PSMs) including details of...
متن کاملTeaching MDE through the Formal Verification of Process Models
Model Driven Engineering (MDE) and formal methods (FM) play a key role in the development of Safety Critical Systems (SCS). They promote user oriented abstraction and formal specification using Domain Specific Modeling Languages (DSML), early Validation and formal Verification (V&V) using efficient dedicated technologies and Automatic Code and Documentation Generation. Their combined use allow ...
متن کاملMethods and Tools for Information Systems Development: Introduction
• Software requirements definition and validation • Domain-specific modeling and architectures • Software reuse strategies and techniques • CASE tool integration and life cycle support • Cleanroom software engineering methods and tools • Software process modeling and assessment • Empirical studies of tool and method effectiveness • Formal methods for systems development • Intelligent software a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013